The Constraint Handling Rules (CHR) language is a declarative concurrent committed-choice constraint logic programming language ...
Lire la suiteThis volume contains selected and thoroughly revised papers plus contributions from invited speakers presented at the First ...
Lire la suiteThis volume contains the proceedings of the 21st International Conference on Logic Programming which was held in Sitges (Barcelona), ...
Lire la suiteThe 35 revised full papers together with 2 invited talks, 2 invited tutorials, 11 papers of the co-located first Workshop ...
Lire la suiteThis book constitutes the refereed proceedings of the 12th International Conference on Principles and Practice of Constraint ...
Lire la suiteThis book constitutes the refereed proceedings of the 8th International Conference on Principles and Practice of Constraint ...
Lire la suiteConstitutes the proceedings of the 11th International Conference on Principles and Practice of Constraint Programming, CP ...
Lire la suiteThis book constitutes the refereed proceedings of the 14th International Conference on Principles and Practice of Constraint ...
Lire la suiteThis book constitutes the refereed proceedings of the 13th International Conference on Principles and Practice of Constraint ...
Lire la suiteOne of the key open questions within arti?cial intelligence is how to combine probability and logic with learning. This question ...
Lire la suiteThis book constitutes the thoroughly refereed and extended post-proceedings of the 11th Annual ERCIM International Workshop ...
Lire la suiteConstitutes the extended post-proceedings of the ERCIM/CoLogNet International Workshop on Constraint Satisfaction and Constraint ...
Lire la suitePrivacy in statistical databases is a discipline whose purpose is to provide - lutions to the con?ict between the increasing ...
Lire la suiteThis book address all aspects of constraint and logic programming, including foundational issues, implementation techniques, ...
Lire la suiteThis book covers the area of convergence of software proofing and testing and feature current research work that combines ...
Lire la suite